append\_rel($T$;$L_{1}$;$L_{2}$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($L_{1}$ @ $L_{2}$) $=$ $L$